Inference in Probabilistic Ontologies with Attributive Concept Descriptions and Nominals
نویسندگان
چکیده
This paper proposes a probabilistic description logic that combines (i) constructs of the well-known ALC logic, (ii) probabilistic assertions, and (iii) limited use of nominals. We start with our recently proposed logic crALC, where any ontology can be translated into a relational Bayesian network with partially specified probabilities. We then add nominals to restrictions, while keeping crALC’s interpretation-based semantics. We discuss the clash between a domain-based semantics for nominals and an interpretation-based semantics for queries, keeping the latter semantics throughout. We show how inference can be conducted in crALC and present examples with real ontologies that display the level of scalability of our proposals.
منابع مشابه
Attributive Concept Descriptions with Complements
Schmidt-SchaulL M. and G. Smolka, Attributive concept descriptions with complements, Artificial Intelligence 48 (1991) 1-26. We investigate the consequences of adding unions and complements to attributive concept descriptions employed in terminological knowledge representation languages. It is shown that deciding coherence and subsumption of such descriptions are PSPACE-complete problems that c...
متن کاملForgetting Concept and Role Symbols in ALCOIH\mu+(\top, \sqcap)-Ontologies
Forgetting is a non-standard reasoning problem that is concerned with creating restricted views of ontologies relative to a subset of the initial signature and preserving pertinent logical consequences up to the symbols in the restricted views. In this paper, we present an Ackermann-based approach for forgetting of concept and role symbols in ontologies expressible in the description logic ALCO...
متن کاملConcept Forgetting for ALCOI-Ontologies using an Ackermann Approach
We present a method for forgetting concept symbols in ontologies specified in the description logic ALCOI. The method is an adaptation and improvement of a second-order quantifier elimination method developed for modal logics and used for computing correspondence properties for modal axioms. It follows an approach exploiting a result of Ackermann adapted to description logics. Important feature...
متن کاملFrom Wine to Water: Optimizing Description Logic Reasoning for Nominals
OWL-DL is a World Wide Web Consortium standard for representing ontologies on the Semantic Web. It can be seen as a syntactic variant of the Description Logic SHOIN (D), with an OWL-DL ontology corresponding to a SHOIN (D) knowledge base. The very recent accomplishment of a decision procedure for SHOIN (D) poses the challenge of turning the decision procedure into a practical implementation. In...
متن کاملReasoning Algebraïcally with Description Logics
Reasoning Algebräıcally with Description Logics Jocelyne Faddoul, Ph.D. Concordia University, 2011 Semantic Web applications based on the Web Ontology Language (OWL) often require the use of numbers in class descriptions for expressing cardinality restrictions on properties or even classes. Some of these cardinalities are specified explicitly, but quite a few are entailed and need to be discove...
متن کامل